Antonihøjen hedder nu Antonibakken – så længe det varer