Olof Holmgren , död den 13 Maj ,i