Hallo Harald,
sorry für meine späte Antwort.

An den Gebäuden steht dran "Thomasmühle" bzw. "Thomasmühle im Engertal". Das möchte ich aber nicht bei "name" eintragen, weil das potentiell irreführend ist. Die eigentliche Thomasmühle ist ca. 1,1 km talabwärts. Der ehemalige Haltepunkt ist nach dieser Mühle benannt und wie bei der Bahn eben üblich steht/stand der Haltepunktname an den Gebäuden. "Haltepunkt Thomasmühle" möchte ich auch nicht dranschreiben, weil der Haltepunkt bahnmäßig nicht mehr existiert. Daher mein Text "Ehemaliger Haltepunkt Thomasmühle".

Da ich auch nicht weiß, was nun korrekt ist, habe ich 
"inscription=Thomasmühle" und "historic=yes" belassen. Diese Tags waren schon vor meinen Änderungen da. "name" und "old_name" hatte ich eingetragen und habe sie nun wieder enfernt.

Viele Grüße 
Christian

P.S. Ich finde es sehr gut, dass jemand über meine Änderungen drüberschaut und Feedback gibt. Das erhöht die Qualität der Karte. Danke dafür!