The Personal Library of Mises

I have read that his personal library of around 6,000 volumes is collectively preserved at some university. I was just wondering if any one has a written list of the bibliographical information of those volumes.

Thanks.

Any one?

No one?