How Television went digital in the Netherlands