Paddy Donovan, George Groves, and the pain of losing to the same man twice