Merge branch camp2023-infos:main into shuttle

docs/facilities.md

docs/how-to-survive.md

docs/img/supporters/200px-Supporter-eventinfra.png

docs/img/supporters/babiel.png

docs/img/supporters/bcix.png

docs/img/supporters/community-ix.png

docs/img/supporters/ediscom.png

docs/img/supporters/eventinfra.png

docs/img/supporters/flexoptix.png

docs/img/supporters/telekom.png

docs/network.md

docs/travel.md