Carl Adam Petri : ideas, personality, impact (2019)