extension manager - German English Dictionary