@forteller @DORpapst Dette skreiv kommuna i 2004: «Den har vært åsted for 17. maifeiring hvert år siden 1929, enda den ikke var ferdig opparbeidet før 1936 og aldri ble formelt navngitt. Dog heter det i en rådmannsinnstilling fra 1930 at "i nordenden av Lille Lungegårdsvann vil det bli anlagt en festplass".»: https://web.archive.org/web/20050315110046/http://www3.bergen.kommune.no/info_/ekstern/nyheter2/261104_festplassen.html
Godt mogleg den har blitt det SIDAN dette, men folkemunne er det som dreiv fram namnet.