Merge branch 'formatting-fixes' into 'main'

facilities.md: Fix MarkDown formatting bugs I introduced

See merge request infra/static-pages/camp2023-infos!85

docs/facilities.md

@@ -103,6 +103,7 @@ As it is customary for CCC events for ages, the POC (Phone Operation Centre) pow
 operating a site-wide DECT network.
 
 In order to use the network, please
+
 * create an account (or log in using an existing account) on [GURU](https://guru3.eventphone.de/)
 * register your phone(s) in the GURU web interface
 * bring your DECT phone (only EU band phones for the DECT band work; US-DECT operates in 2.4 GHz and is not compatible)
@@ -113,6 +114,7 @@ More information can be found at the resources linked from the [eventphone suppo
 ## GSM
 
 The c3gsm team has obtained spectrum licenses in several bands.  Right now the plan is to deploy
+
 * GSM in the 1800 MHz band
 * LTE in the 2600 MHz band
 
@@ -123,6 +125,7 @@ At a lower priority, there might also be UMTS and/or 5G.
 In order to use the private on-site cellular networks, you will need a CCC Event SIM card.
 
 You can either
+
 * re-use any SIM card from any previous CCC event (congress, camp), or
 * obtain a new SIM card at the event.  We've ordered a large batch of cards.  However, unfortunately there has been some shipping delay.  While the cards have arrived in Germany for customs processing on August 10, they are not expected to arrive at the camp before the morning of August 15 (Day 1).