Kleine Randinformation um Missverständnisse zu vermeiden: VK88 steht für Vergaserkraftstoff 88 Oktan und war die gängige Bezeichnung für den damaligen Ottokraftstoff in der DDR.