when did peter anton die?