Olof Petraus , död d.