"inverse Gudermannian function" Deutsche bedeutung