«Добромиль» – происхождение и значение фамилии

Во Львовской области, на границе с Польшей есть город Добромиль, который упоминается в исторических документах связанных с династией Габсбургов XIIXIII веков. В город были со временем собраны разные ремесленники, разрешено было проводить ярмарки, в окрестностях добывали соль, развивалось ткачество/мануфактура. В настоящее время в городе туристам предлагают посетить развалины замка, принадлежащего династии Габсбургов, с которым связано много легенд и подлинных историй. Многие жители этого города, в основном самые востребованые и популярные ремесленники, получили прозвища/фамилии по месту жительства и работы. Город славянский и скорее всего (требует проверки и лингвистического обоснования) название связано с именем исторического персонажа Добромиль. Два корня в слове "добрый" и "милый"...