Die Gastronomie im Stadelner Hallenbad gibt es schon lange nicht mehr und wird vor dem Umbau auch nicht wiederkommen.