Hallescher FC vs. FC St. Pauli (German Cup)