"functional determinant" Deutsche bedeutung