The arithmetic theory of loop groups. II: The Hilbert-modular case Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum Grassmannians. 