Betriebsferien 2023:     17. Juli - 30. Juli