Gemeinschaftsantennen sind in der Wohngebäude-Versicherung über eine Standardklausel eingeschlossen und also mitversichert.