"economizer" Deutsche bedeutung