"formal function" Deutsche bedeutung