Tussentijdse commit omdat het moet voor nicolas

(nicolas heeft aanpassingen aan de repositories nodig enz)