Lehrstuhl für Informatik 4 (Systemsoftware) / Public / ELF Tailoring (EMSOFT 2019) / ELF diet