added a dialog for exporting pdf files. But unfortunately it doesn't
work yet, if a file already exists.