hr v. Hulfen , generalintendenten för kgl.