Before it transferred to the ownership of the Klug family in 1842, whose descendants still run it today, it was called the Wilensteiner Mühle.
Bevor sie 1842 ins Eigentum der Familie Klug gelangte, deren Nachfahren sie bis heute bewirtschaften, hieß sie Wilensteiner Mühle.