Translated from German.