/en/distributed-information-systems/teaching?tx_upatheme_mobilenav%5BpageUid%5D=14010&type=20190226&cHash=b970ca19e20f60c23efe2e36f419f4bf