Quantisation commutes with reduction for cocompact Hamiltonian group actions door