Mannheim: „Alte Seilerei“ stellt Betrieb ein