Hallo, mal eine Frage am Rande der HIFI-Beiträge.... Was ist ein Doppel-DIN-Radio? Viele Grüße, der Tümpeltaucher