[397] Papiermühle, Bezeichnung der alten Büttenpapierfabriken, bei denen in der Regel Wassermühlen die Betriebskraftlieferten; s. Papier, besonders S. 390 f.
Adelung-1793: Papiermühle, die
Pierer-1857: Papiermühle