battle of san jacinto - German English Dictionary