Externe Formelsammlungen zu ET+ELO ergänzt