Español ⇔ Alemán / Spanisch ⇔ Deutsch 🔎 extended search Header-Datei DeutschEspañol Header-Datei [Subst.]{f}[inform.]fichero de cabecera