text: Und das seit 2008: https://www.openstreetmap.org/node/312259733
  
  Der Name wird nur nicht immer gerendert, je nachdem was die Rendersoftware gerade entscheidet. Aber das können wir nicht beeinflussen und ist leider so.