it is to be regretted that - Alemán Inglés Diccionario