Source: https://www.math.uni-hamburg.de/home/schmidt/lectures/HANA.pdf