Windows 10: PDF-Drucker wiederherstellen

Standardmäßig beherbergt Windows 10 einen Microsoft PDF-Drucker, um aus verschiedensten Programmen heraus PDFs erzeugen zu können. Sollte dieser abhanden gekommen oder versehentlich gelöscht worden sein, kann man ihn wieder zurückholen.