Acknowledgements
Thanks to Swisstopo, the Geoinformation Act, and the Ordinance on geoinformation for providing excellent geodata.
Thanks to @procrastinatio whose blog post (from 2014, no longer available online) taught me how to use Swisstopo layers in Leaflet many years ago.