Rochusgasse auf der Stadtplan von Würzburg