711 ) Rättens ombudsman.