Traditionen tro er 1. maj en officiel helligdag i Tyskland. Det er “Tag der Arbeit”, der fejres som en officiel fridag. Dagen blev fastlagt allerede i…