One wonders what Herr Hitler would have done with the Fenians once the Wehrmacht crossed the Channel and the Irish Sea.