Commutative complex K-theory: Simon Gritschacher