[1364] Der Walkmüller, des -s, plur. ut nom. sing. der Inhaber einer Walkmühle, oder der Vorgesetzte derselben.