Feiertag am Donnerstag, 3. Juni ++++++   Brückentag am Freitag, 4. Juni +++++++