Megacommit vanuit onze privategit, t/m woensdag 25 juni ochtend

We werkten in onze eigen github repository, omdat die privé was en ons
werk zo afgeschermd was van andere groepjes. :)