Anton Pannekoek (1873 - 1960)