Sind Arbeitnehmer bei einer Betriebshaftpflichtversicherung mitversichert?