Wer hat zum ersten Mal ein Gas verflussigt?' Ernst Cohen and W.A.T. Cohen-de Meester. From Zeeman Verhandelingen S. 395-402.