En tredubbel festdag i Tyskland,