This file is copyrighted by Hauke Laging.