it's a shame/pity that ... - Deutsch Englisch Wörterbuch