3994 ) Rättens ombudsman.