Lehrstuhl für Informatik 4 (Systemsoftware) / micro-replication / mirador