"diffeomorphic" Deutsche bedeutung