The High Court in Dublin has ordered the extradition of a man accused of being involved in a Provisional IRA mortar attack on a British army barracks in Germany 20 years ago.