Oprava terasy v Petržalke