Juveleraren Olof Hallman , död den12