a) ein Kernreaktor, einschließlich der Reaktoren auf Schiffen, Fahrzeugen, Luftfahrzeugen oder Weltraumgegenständen, die als Energiequelle für den Antrieb solcher Schiffe, Fahrzeuge, Luftfahrzeuge oder Weltraumgegenstände oder für jeden anderen Zweck verwendet werden;
a) Todo reactor nuclear, incluidos los reactores instalados en buques, vehículos, aeronaves o artefactos espaciales con la finalidad de ser utilizados como fuentes de energía para impulsar dichos buques, vehículos, aeronaves o artefactos espaciales, así como con cualquier otra finalidad;