All prefixes are registered in the RIPE IRR under AS-COMPUTLE and are covered by valid RPKI ROAs. More specific IPv6 prefixes are announced from within 2a13:5700::/29 as deployments require.