Ok nazwa pochodzi od Kościoła Świętego Krzyża który po angielsku nazywa się Holy Cross Church 
https://go2warsaw.pl/en/basilica-of-the-holy-cross/
A po de Heiligkreuz Kirche https://stadtfuehrer-warschau.com/heilig-kreuz-kirche-warschau/

Wiem że nigdzie indziej niż na wikipedii dosłowna ta nazwa parku nie występuje w internecie (ponieważ nikt nigdy nic nie pisze o małym parku w Warszawie ), ale wystarczy zamienić Church /Kirche  na park. Tak jak istnieje już nazwa kościoła tak i nazwa parku istnieje już w tych językach.