Yep, but nobody knew. For miners the mined coins were nearly worthless and never considered to reach that worth. Standard rate for selling was something like 1000 DRK for 0.02 / 0.025 BTC and that was also the price when it hit the exchanges ~2 weeks later, gradually escalating upwards.