Thats also very extreme and likely not the case in many other places. You're right that is a definite example of overharvest of large fish.
Also, 16 years old and 11.5 inches. Do you have a report or data on the age frequency for this lake? I'd be very interested to see this, and I know some others who would be as well.