Wann ist ein Auto gegen Diebstahl versichert?