L'inventario di Dokter è attualmente privato.