Translated from the German.