'Alte Senfmühle'.