Solutions by Markus Holzer.