TUHH-Campus @uMap (https://umap.openstreetmap.fr/de/map/tuhh_238303). Einfach eine CSV-Datei bearbeiten und als GeoJSON ausgeben lassen.