Regiomontanus

. See Muller.