Ist umstritten, ob das generell ein Pier ist oder nur oben der Bereich wo die Schiffe anlegen (Siehe Kommentar von @Protoxenus oben).
Laut Wiki hast Du allerdings Recht. https://wiki.openstreetmap.org/wiki/DE:Tag:man_made%3Dpier