it's a pity that... - German English Dictionary