The Diamond-lido and the Grosics Gyula Stadium