Hi Rene,
I have Problems with that.
2 Inside Routers form iBGP over EIGRP(announcing Loopback). EIGRP is running between the Routers on their HSRP addresses:
Router 1 10.10.10.1
HSRP VIP 10.10.10.2
Router 2 10.10.10.3
–> forming EIGRP 10.10.10.1<->10.10.10.3 and Advertising Loopbacks for BGP
All good so far.
Every Router is connected to ISP(same AS but does not matter here) which give a default route only to each inside Router.
That means both inside Routers have default to ISP, but when 1 inside Router chrashes, BGP is not deleted between inside Routers. EIGRP is removed and route to Loopback of other router also, but then they try to reach iBGP neighbor via ISP of Course.