Ik zie nu dat hij op openstreetmap.org al niet meer getoond wordt. Dat was heel lang nog wel zo terwijl het al een tijd dicht is, dus toen ik het in de maps.me app nog steeds zag staan nam ik aan dat hij nog op de kaart stond. Kwestie van slechte timing. Ik zal de naam weer terug zetten.