Aber klar ist es sinnvoll. Ansonsten verlinken wir möglicherweise auf ein veraltetes PDF. Das ist die beste mögliche Form. Es gibt keinen Grund, den Link zu entfernen. -- KurtR 20:02, 21. Mai 2019 (CEST)