Hallo gnlpfth,

sorry für die längere Antwortzeit.

Leider habe ich keine Notizen, wo ich den Namen gefunden habe, ich kann mich auch an die Benennung nicht erinnern, aber sie ist wohl erfolgt. Erfunden habe ich ihn natürlich nicht. 
Ich war jetzt extra vor Ort, aber kein Namensschild o.ä. gefunden. Ich werde den Namen löschen und eine Notiz beifügen.
LG 