1711 ) Rättens ombudsman.