Stav dette: Hall algebras and the Quantum Frobenius