Artificial intelligence in Leipzig