— Statsrevisor Johnsens motion idet