Die Homotopieerweiterungseigenschaft (= HE P) ist eine lokale Eigenschaft. A. DOLD Inventiones mathematicae