Maybe dumb more general question, but when is it then available on the stock market?