en särdeles högtidlig mine.