Porto Editora – agradecido no Dicionário infopédia de Português - Alemão [em linha]. Porto: Porto Editora. [consult. 2021-12-01 12:42:43]. Disponível em