A Companion to Medieval Palermo: The History of a Mediterranean City from 600 to 1500.