TXL is a great airport btw if your main purpose of flying is getting to the place you want to go. It's not so great if you're the kinda guy who prefers time spent in a lounge over time spent at your destination.