Überladen

• wenn mehrere Methoden gleiche Namens sichtbar sind,

  wird die vom passenden Typ ausgewählt.

• wenn mehrere vom passenden Typ sichtbar sind (z. B. wegen Vererbungs-Beziehungen),

  dann wird die mit dem spezifischsten Typ ausgewählt

• ...falls das genau eine ist (ein minimales Element in der entsprechenden Halbordnung)-- sonst Fehler