Aktuelle Forschungsprojekte: ENERMAN, E2COMATION, LogIKTram