El nombre original era «grüner Markt» (mercado verde) o simplemente «Markplatz» (mercado).