There is a minor gap in the proof of Theorem 38: B has possibly non-surjective determinant, and if it does it requires additional argumentation. The modified proof that fixes this can be found in the last arxiv version.