Mathematical Quantum Theory by