“Kaiser Barbarossa” in der Teufelshöhle