Translation of "Walrasian" in German