It's a pension fund of/for teachers in Denmark. That amount in U.S. Treasuries sounds like an expected size to me.