1716 ) Rättens ombudsman.