Der abgepumpte Olympiasee.