stora badhuset samt stadshotellet vid Donnersplats.