Der deutsche Text beruht im Wesentlichen auf einer Übersetzung des der englischen Wikipedia entnommenen Artikels en:Tucking Mill. Er beruht auf der Version "22:00, 19 January 2021". Die Autoren sind hier einsehbar. --Gelöbnix (Diskussion) 02:10, 13. Aug. 2022 (CEST)