Petrus Gros , död den;