I have placed lemma lem:total-fiber-equiv to chapter 3 and written an easier proof for it. I'm not sure if I'm allowed to do this. However, we need this property already in thm 6.2.2