[translated from the German]