6311 ) Rättens ombudsman.