Hořejší mlýn Vodní mlýn v Praze-Radotíně