____ thinner.cc ____ / / ____ ____ ___ / /_/ / _/___/___ / \ ____ / _\ / __/ \/ / \ / \ \__/ \ \ / / \ / / \_/___/ ___\ \ \ \__/___/ /__/___/___/ \________\ \ŪMt / \ #thn090 philipp weigl \____\ /_____/ 02/08: save