Johan Erik Gran , hvilken den 9 Okt.