scheepsbrandstof: een uit aardolie verkregen vloeibare brandstof die bestemd is voor gebruik, of gebruikt wordt, aan boord van een schip, met inbegrip van de in ISO 8217 gedefinieerde brandstoffen”;
Schiffskraftstoff jeden zur Verwendung auf einem Schiff bestimmten bzw. auf einem Schiff verwendeten aus Erdöl gewonnenen flüssigen Kraft- oder Brennstoff, einschließlich eines Kraft- oder Brennstoffs, der der Definition in der ISO-Norm 8217 entspricht.“