Florian Hölzl's Notes