The inactive flotation tailings pond in Gyöngyösoroszi, Hungary