Kurzer Schreck, weil Kodi auf dem Raspberry Pi meldet, dass das arte-Plugin im repository als „old broken“ markiert und deswegen deaktiviert worden sei /o\
Es wurde aber direkt auch gleich die neue Version installiert. Das regelmäßige arte-Sehen kann weitergehen \o/