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) Any nuclear reactor, including reactors installed on vessels, vehicles, aircraft or space objects for use as an energy source in order to propel such vessels, vehicles, aircraft or space objects or for any other purpose;