OTTO, Ernst