Which German-Dutch mathematician spent a major portion of his life calculating the mathematical constant pi (π) to 35 decimal places, a feat so celebrated that the numbers were engraved on his tombstone?