6to4 and DNS