Mannheim: Arnold Petersen gestorben