Ik sluit dit oude bugonderwerp. Als er nog iets te doen is, kunnen we het heropenen of een nieuwe starten.