https://123dok.net/document/zkw1v4pe-sur-article-leopoldt-einheintengruppe-klassenzahl-reeller-abelscher-zahlkörper.html