( 711 ) Rättens ombudsman.