"result type" Deutsche bedeutung