"Eine Papiermühle ist ein gewerblicher Betrieb zur Herstellung von Papier." - (de.wikipedia.org 14.03.2020)