Morse theory seminar (ETH 22/23)