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