Würzburg, Johann Philip, prince of