högtidligheterna vid tyska riksdagens öppnande.