Das ist eher eine Beschreibung, die diese kleine Grünfläche wertvoller erscheinen lassen will ("An der Marientormauer ist ein Pocket Park entstanden"). Jedenfalls ist vor Ort kein Name erkennbar bzw. die Grünfläche durch den Stadtrat so benannt worden.