[926] Pfahlmühle, gewöhnliche Wassermühle im Gegensatze der Schiffsmühle.
Adelung-1793: Pfahlmühle, die