( 9 116 ) N . P . Jensen.