merge dev into main

voor het einde van het project is het handig om de dev code op de main te zetten. Vandaar deze merge