The integral is absolutely convergent and the Petersson inner product is a positive definite Hermitian form.
Das Integral ist absolut konvergent, und das Petersson-Skalarprodukt ist eine positiv definite Hermitesche Form.