( N:r 1 , 711 .)