brinken , N . o 9 ):