Title: Regiomontanus on triangles