Britische Armee beendet Einsatz in Nordirland