[[76]]

included] include 1800.

[[89]]

Octavio 1800, 1828, 1829.

[[98]]

Wallenstein (significantly). 1800, 1828, 1829.

[[112]]

kernel 1800, 1828, 1829.