De inventaris van Devestor is momenteel privé.