Vom 26. Juli bis am 10. August bleiben das Restaurant Gartenhof wegen Betriebsferien geschlossen.