Tegnér " den 17 Juli: