Am 01. Mai 2020 war für uns ein Feiertag. Nicht nur im herkömmlichen, sondern gleich im doppelten Sinne auch wenn uns das zu Beginn des Tages noch nicht klar war.