Philipp August Petri Editor