that's the end of that! - Alemán Inglés Diccionario