Was Mannheim In East Germany