https://123dok.net/document/yj7v1enk-invariant-local-dirichlet-forms-on-locally-compact-groups.html