Der als "Kretzerplatz" bezeichnete Platz ist weder offiziell als Kretzerplatz benannt, noch wird er im Volksmund "Kretzerplatz" genannt. 
Im Volksmund wird er "Namibiaplatz" "Afrikaplatz" oder einfach "das Plätzchen" genannt, aber auch dies nur von einem Teil. 
Daher schlage ich vor, die Bezeichnung Kretzerplatz zu entfernen. 