Nice: IPv6 via KPN Hotspots' Wifi AccessPoints works. As you can see, it's good reliable teredo / miredo that does the trick.
I wonder whether KPN Hotspots has plans to provide native IPv6 from their accesspoints. As they provide NAT-less Internet connectivity (see the public IPv4 address 80.101.225.157), I guess native IPv6 could also be done. Maybe someone with KPN Hotspots experience can comment on this ... ?
rob@rob-laptop:~$ ifconfig
eth0 Link encap:Ethernet HWaddr 00:0b:5d:72:dd:a9
UP BROADCAST MULTICAST MTU:1500 Metric:1
RX packets:0 errors:0 dropped:0 overruns:0 frame:0
TX packets:0 errors:0 dropped:0 overruns:0 carrier:0
collisions:0 txqueuelen:1000
RX bytes:0 (0.0 B) TX bytes:0 (0.0 B)
Interrupt:11
eth1 Link encap:Ethernet HWaddr 00:0e:35:64:34:06
inet addr:80.101.225.157 Bcast:80.101.239.255 Mask:255.255.240.0
inet6 addr: fe80::20e:35ff:fe64:3406/64 Scope:Link
UP BROADCAST RUNNING MULTICAST MTU:1500 Metric:1
RX packets:46764 errors:0 dropped:0 overruns:0 frame:0
TX packets:40477 errors:0 dropped:6 overruns:0 carrier:0
collisions:0 txqueuelen:1000
RX bytes:62274668 (62.2 MB) TX bytes:4514641 (4.5 MB)
Interrupt:11 Base address:0x2000 Memory:d0214000-d0214fff
lo Link encap:Local Loopback
inet addr:127.0.0.1 Mask:255.0.0.0
inet6 addr: ::1/128 Scope:Host
UP LOOPBACK RUNNING MTU:16436 Metric:1
RX packets:1782 errors:0 dropped:0 overruns:0 frame:0
TX packets:1782 errors:0 dropped:0 overruns:0 carrier:0
collisions:0 txqueuelen:0
RX bytes:1177684 (1.1 MB) TX bytes:1177684 (1.1 MB)
teredo Link encap:UNSPEC HWaddr 00-00-00-00-00-00-00-00-00-00-00-00-00-00-00-00
inet6 addr: fe80::ffff:ffff:ffff/64 Scope:Link
inet6 addr: 2001:0:53aa:64c:107d:650f:af9a:1e62/32 Scope:Global
UP POINTOPOINT RUNNING NOARP MTU:1280 Metric:1
RX packets:38260 errors:0 dropped:0 overruns:0 frame:0
TX packets:34479 errors:0 dropped:0 overruns:0 carrier:0
collisions:0 txqueuelen:500
RX bytes:48627476 (48.6 MB) TX bytes:2284208 (2.2 MB)
rob@rob-laptop:~$