After an unexpected core router reboot, the standby router took over. While in theory both routers have exactly the same routing configuration, we discovered a bug in the IPv4 routing configuration which only affected the standby router. This bug is now fixed and IPv4 connectivity fully restored since 14:08 CEST.