Suche Stream-Adresse HR4 Darmstadt?

Vor langer Zeit habe ich HR4 Radio in die Fritzbox eingegeben. Manchmal splittet sich das, die Ansage meint, dass gleich frankfurt oder darmstadt kommt.

Mich interessiert Darmstadt, aber es kommt frankfurt.

Auf den hr4 Seiten finde ich nicht, welche web-Adresse dieser Stream hat.