Aber Autoradiodiebstahl ist doch über die Hausrat versichert, oder nicht?