"proper vector" Deutsche bedeutung