What is the correct IPv6 address notation?