Wann ist ein Haus ein Haus nach Wohnungseigentumsgesetz?