Publications by 'Christoph Witzig'