"contravariant vector" Deutsche bedeutung