- halbieren

                  - verkürzen

                  - ...