System options for cooling of buildings making use of district heating heat. (October 2016)