Mannheimer Morgen: Altes Hallenbad wird zur Markthalle