Ist ein Gartenhaus in der Gebäudeversicherung mitversichert?