Die Räume der Stadtpolizei in der Darmstädter Innenstadt konnten seit Sommer vergangenen Jahres wegen Mäusebefalls nicht genutzt werden.