Vor Ort steht das aber nur so.
Zudem ist "official_name=  	Wohnmobilstellplatz Dutzendteich"
erfasst (siehe https://tourismus.nuernberg.de/informieren/anreise/per-wohnmobil/location/wohnmobilstellplatz-dutzendteich/ ). Wenn das also niemand findet, dann liegt es an etwas anderem. Zum Beispiel, dass er in den Apps falsch genannt wird.