householder reduction - German English Dictionary