TET: Axiomatische Grundlagen der elektromagnetischen Feldtheorie (TU Dresden)