Gmunden is a town in Upper Austria, in the district of Gmunden. It has 13,204 inhabitants. From Wikipedia