The homotopy type of a topological stack - Johannes Ebert (2009)