ハール測度
This reduces to the finite case when "L" / "K" is finite (the Haar measure is then just the counting measure).