Servicezeiten: von Mai bis Oktober Mo. - Mi. 8.30 Uhr - 12.45 Uhr und 13.15 - 17.30 Uhr Do. 8.30 Uhr - 12.45 Uhr und 13.15 - 18.00 Uhr Fr. 8.30 - 18.00 Uhr, (durchgehend) Sa / So. 10.30 Uhr - 14.30 Uhr von Nov. bis April Mo. - Mi. 8.30 Uhr - 12.45 Uhr und 13.15 - 16.00 Uhr Do. 8.30 Uhr - 12.45 Uhr und 13.15 - 18.00 Uhr Fr. 8.30 - 16.30 Uhr, (durchgehend) Sa / So. 10.30 Uhr - 14.30 Uhr