Integration in topologischen Gruppen - Marik, Wolfgang (1979)