"covering map" Deutsche bedeutung