Operations are completed, everything is back to normal. For those who would be doing some filtering, the mail/web server's IP address changed from 88.191.124.161 to 195.154.117.161, but I'm sure nobody cares :-)
For IPv6 we'll check later, it's been down for some time already. Willy
