El inventario de krasovskii es privado actualmente.