— Allmän majfest i Tyskland.