"exterior derivative" Deutsche bedeutung