hofintendenten , f. d. direktören för kgl.