Letzter Nachtrag von mir:
Der Tipp von Watti und powo01 (Batterie abklemmen) scheint im Prinzip richtig. Jedenfalls tut mein Radio überraschenderweise wieder seinen Dienst. Leider habe ich es auf die harte Tour gelernt - nach 10 Tagen im Parkhaus war die 12V-Batterie fast vollständig leer und nichts ging mehr.
Um so gespannter bin ich, was nun der Service zum Problem sagt....