undefined Horst Rosenthal