"functor" Deutsche bedeutung