ManyBodyHilbertSpace