All documents prepared by Stefan Huber for the talk are free for further use under the Creative Commons License (CC-BY-SA 4.0). If recordings of the talk are made, they must be made freely available for further use under the Creative Commons License (CC-BY-SA 4.0).