http://theyoshxgvcjm4s2xdt6zcjym4kgskibrlos6fai26yes4bhpia5z7qd.onion/updated-ziggo-dreambox-channel-list-page
This is handy for non HD receivers which cannot handle the HD stream. And there is an option to replace the SD channel with the HD version. This means that you will need a HD capable receiver. The idea is that you don't need channels twice in the list.