Mein Server ist eine virtuelle OpenVZ-Maschine, daher werden Kernel-Updates vom Host verwaltet (Erläuterungen hier und hier ).
Ich musste manuell entfernen linux-image-extra-4.13.0-45-generic
und linux-image-4.13.0-45-generic
folgte dem Beitrag Nr. 3 zu diesem Thema .