som kändt i mändags i Berlin med stor högtidlighet.