Distributed Systems Engineering (WS 2024)