Grün's Theorems and Class Groups - Franz Lemmermeyer (2011)