Lokacija letnega gledališča v Tivoliju