20230720. Visiting Ruedi Aebersold @ ETH Zurich