Source: https://www.uni-frankfurt.de/68827165/GLA_WiSe17_18_web.pdf