https://www.darmstadtnews.de/2010/12/18/geaenderte-oeffnungszeiten-staedtischer-einrichtungen-an-weihnachten-und-zum-jahreswechsel-201011/?fdx_switcher=desktop