Are Dragon 32/64 and TK82C both headquartered in the same country?