Microcanonical Ensemble in Quantum Statistical Mechanics