Short proof of Halin's grid theorem for thick ends | Synapse