9 , 10 , 11 , 12 , 13ff.