3218 ) Rättens ombudsman.