Paulův - Jirkův mlýn Ferdinandov, Královédvorsko