Einsatz der britischen Armee in Nordirland nach 38 Jahren beendet