it is to be regretted that - Deutsch Englisch Wörterbuch