proof thm:germann

first version, still a bit rough