"applicative definition" Deutsche bedeutung