1717 ) Rättens ombudsman.