that's a pity - German English Dictionary