, 7 e. m . för Rättens ombudsmankl.