Verbmobil: Foundations of Speech-to-Speech Translation