Version vom 30. Oktober 2020, 10:07 Uhr von Ferrao(Diskussion | Beiträge)(Die Seite wurde neu angelegt: „* add new grid points to the end of the table * insert new grid points before the currently marked grid point * edit a grid point in an extra window * delete t…“)