Hoofdlettergevoelig

Niet wat we deze direct willen gebruiken, maar nu 'werkt' deze in
iedergeval wel.