On Lattices over Number Fields