Johann Albrecht Widmannstetter — German scholar