städning , för en embetsman , från den 15 Oktober eller 1 November.