Also, sind die in den Dokumenten der börsennotierten Unternehmen veröffentlichten Demo-Coins noch im internen Handel?