diss: frontmatter changed, 'contents' in 'contents' for better pdf browsing