Die Teufelsmühle.