Men da kongen var blevet gjort opmærksom på, at et sådant trykkeri kunne blive af stor betydning, bl.a. ved trykning af tabeller til den indbyrdes undervisning, lod han materiellet købe for 2000 Rigsdaler og oprettede Det Kongelige Stentrykkeri.