Öffnungszeiten im Juli – restaurant