OK, ich habe offenbar die Lösung.
Der Stream des DAB+-Programms ist:
http://regiocast.hoerradar.de/80s80s-dabhh-mp3-hq
Im Gegensatz dazu streamt der Web-Stream als solcher ("80s80s Web" oder "Real 80s80s") unter
http://80s80s.hoerradar.de/80s80s-mweb-mp3-hq
Wie ich ihn gefunden habe: Auf einer Webseite namens
Radiotheque ist ein "80s80s DAB Hamburg"-Stream aufgeführt. Den gab es laut Google-Cache auch früher mal auf
streams.80s80s.de , dort wurde er aber inzwischen gelöscht. Der Stream ist aber immer noch aktiv, und er ist, soweit ich testen konnte, identisch zum DAB+-Stream. Der Web-Stream ist das nicht.
Als ich gegen halb 12 mal getestet habe, ging der 80s80s-Web-Stream dem DAB-Stream etwa zwei Minuten voraus. Als ich kurz nach 12 nochmals testete, ging der Web-Stream dem DAB-Stream dagegen deutlich nach. Ich habe mehrmals neu geladen, um eine Latenz bei mir auszuschließen, aber es blieb so, und - wie gesagt - der DAB-Stream ist, auch zeitlich, identisch zur DAB+-Ausstrahlung.
Dann habe ich mal im VLC-Player versucht, die beiden Streams zu synchronisieren, und es ist wohl tatsächlich so, dass beide Streams zwar mit dem gleichen Input bestückt werden, aber dies getrennt voneinander, denn der Offset wechselt nach jedem Titel, bleibt aber innerhalb eines Titels gleich. Von daher gehe ich davon aus, dass bestimmte Inhalte gezielt nur auf einem Stream ausgespielt werden.