Tegnér den 24 Juli,