/en/distributed-information-systems/teaching/course-details?tx_upatheme_mobilenav%5BpageUid%5D=14011&type=20190226&cHash=31c284d602c8bdb3bf5f6ba86d40e793