( 3925 ) Rättens ombudsman.