A Budai Veli Bej fürdő építéstörténete - József, Molnár. (Budapest)