complete last mentioned section
add most content of the Haar measure section