Indeed, though that's to the entire volume - I was trying to link directly to the individual Gentzen papers (though by the fairly slow download maybe they are being created dynamically).

Thanks for the interesting blog piece though - maybe you could write one about Gentzen's consistency proof?