Close to where I live there is a small settlement (never more than two houses) which every local knows as “Krausens Mühle” (Krausen’s Mill). Obviously this name is used since more then 230 years when one can believe these maps:
Berliner Meilenblatt from 1790 (Krausens Mühle is at the top a little left from the center)
Messtischblatt from 1926
The local public transportation company doesn’t completely agree with that.
The first picture I took from one of the bus stops there is from 2010 showing the name “Krauses Mühle”:
On 01.10.2015 I saw that the name on sign of the bus stop (which in the meantime had been renewed using the old name) had been changed into “Krausenmühle”.
To make things less boring the time table mentions the same bus stop – nearly correctly – as “Krausensmühle”:
A mail I wrote to the company on 1st of October 2015 regarding these names and citing the sources above remained unanswered to this day.