Es handelt sich um den Link dev.openstreetmap.de/aio/regions/europe/basemap/gbasemap.zip bzw. dev.openstreetmap.de/aio/regions/europe/velomap/velomap_europe.zip. Auf den gwdg.de Servern sind die Karten entgegen meiner früheren Aussage auch nicht zu finden. Die Namen tauchen zwar im Verzeichnis auf, aber dahinter verbirgt sich nichts. Siehe:ftp5.gwdg.de/pub/misc/openstreetmap/download.openstreetmap.de/aio/regions/europe/velomap/