Well that's it from us, after what's been a hectic but very fun few hours. Hope you've enjoyed following #TheUltimateDerby with us - Nottingham Forest fans probably more so than Derby fans, given the final scoreline.
John McGovern has picked up another trophy - one to rival the two European Cups that Forest won? Possibly not.
As for Derby, expect big ramifications from this defeat...
Join BBC Radio Derby, BBC Radio Nottingham and the BBC Sport website on Saturday at 12:30 GMT, when Derby and Nottingham Forest go head-to-head for real, for three Championship points and local bragging rights.
Until then, farewell.