Historical dictionaries in their paratextual context (Walter de Gruyter GmbH, 2018)