Distributed Systems 2023/2024