Deventer; Korte Bischopsstraat, Hotel 'De Wereld',