RWTH Aachen may be a good choice. I had a colleague that studied there. http://www-i6.informatik.rwth-aachen.de/