Antonie Pannekoek quotes