"Eine Papiermühle ist ein gewerblicher Betrieb zur Herstellung von Papier." - (Wikipedia (de) 06.12.2022)