Added Christoph Ruegge to AUTHORS file, for bug #3100.