Wie nennt man den Punkt

[blackfin]

Dereferenzierungs-Operator vielleicht?
(der wird in C++ oft so genannt, obwohl das eigentlich korrekterweise der ->* ist...)
Oft heisst er in C++ auch nur "arrow operator", "index pointer operator" oder "dereference pointer"