Homotopy theory in Stockholm