TXL is a very easy airport to negotiate. Having said that, 55 minutes is tight for a USA connection. Your BUD flight will likely come in on the C gates, meaning you'll have to walk to the main terminal (10 minutes). US departures typically have a huge crowd around the gate because of the extra security controls. If all goes well you'll be fine, but a 20 minute delay on the incoming flight may spell disaster.