actor: Ernst Eder