A short proof of Halin's grid theorem Diestel, Reinhard Leader, Imre 2004 - Forschungsinformationssystem der UHH