https://9dok.net/document/zlg1787r-gruppentheorie-ii-proendliche-gruppen-blatt.html