Mathematische Annalen Homotopical and operator algebraic twisted K-theory