https://www.pr-echo.de/spielhallen-umbenennung-in-pechhallen-beschlossen/
Spielhallen: Umbenennung in "Pechhallen" beschlossen