In cas it's useful: I'm using data from here: https://www.swisstopo.admin.ch/en/geodata/height/alti3d.html