text: Ja, die OSM-Daten sind korrekt. Was eine Karte darstellt und was nicht, bestimmen die Kartenmacher. Du kannst aber auf eine andere Karte wechseln, bei der die Kartenmacher solche "Inselchen"-Namen darstellen, z.B. https://www.openstreetmap.org/#map=19/47.58565/12.98806&layers=CN