duplicated from https://github.com/bueler/public-junk/raw/master/solns/sudtirol.pdf