text: ich war dort, die Öffnungzeiten haben sich inzwischen zu Screenshot von vor 6 Monaten schon wieder geändert. Recht viel sinn machts nicht hier Öffnungzeiten anzugeben, Mensarei, Markt, Cafe haben dazu noch unterschiedliche. Ich habe nun trotzdem jene der Mensarei eingetragen.