Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Beispiel BCD itp-1, A-Records, in die Suche "141.52" eingeben. Die Seitenauswahl ist zwar da, aber hat keine Funktion.
(Liste an Records rausgenschnitten wegen Datenschutz.)