The virtual PDF printer is no longer available. It was based on cups-pdf. Since 18.04 it is gone. No error message. Just disappeared in GUI for printer control. Worked fine before the upgrade.
New install of cups-pdf is possible but does not help. It tells:
[...] Note, selecting 'printer-driver-cups-pdf' instead of 'cups-pdf' printer-driver-cups-pdf is already the newest version (3.0.1-5). [...]
But not a trace of PDF printer functionality in the gui printer setup. Applications do no longer show the cups-pdf "printer".
Question: How can I get the (cups-) pdf back in 18.04? Is there a workaround?