Bryggen eller Tyskebryggen?

Stadig flere bruker navnet Tyskebryggen på Bryggen. Bør navnet skiftes?