Re-used in https://www.heise.de/tp/features/USA-Importstopp-fuer-russisches-Oel-Gas-und-Kohle-6544282.html