Josef Hirtenlehner's Notes