triple extension - German English Dictionary