faustovsky problem steiner rudolf