Computing Haar Measures - Arno Pauly (Leibniz International Proceedings in Informatics, 2020)