Wir haben unseren PGP-Key aktualisiert und daher gibt es auch einen neuen öffentlichen Schlüssel. Diesen findet ihr hier. Damit sollten sich hoffentlich die Probleme hinsichtlich der Erreichbarkeit, welche es in den letzten Wochen gab, erledigt haben.