pr Okt 5 , 9 / ( d. , pr Nov.—Dec.