Unable to answer "Are these opening hours still correct?" – 14b-Brasserie CROUS (Restaurant) – https://osm.org/way/65109801 via StreetComplete 57.3:

Il y a des horaires différents pour la vente à emporter.

Attached photo(s):
https://westnordost.de/p/209818.jpg