Suddenly, out of the blue, my Citrix ADC stopped routing (which is necessary for me, as I use it as a gateway for my mail server). Reason: latest 13.0 firmware version. Downdating solved my issue.