9 f. m . , 4,15 ook 7,30 e. m.