alles ter ere van de koning.