Stortorgdagen den 9 dennes badelion