Would you like to add an editable biography for Otto Stein? You can add one here.