etc. GRAVESENI ) den 31 okt.