https://www.dict.cc/german-english/Papiervorschub+nach+dem+Drucken.html