higher-ordered - German English Dictionary