The combinatorial essence of supercompactness - Christoph Weiß (2010)