( gamla bryggen ).