80/8 and 81/8 allocated to the RIPE NCC