ハール測度
The following method of constructing Haar measure is essentially the method used by Haar and Weil.