Danish Defense Ministry bans employees from using TikTok on official devices