re-exported - German English Dictionary