A short history of Würzburg