Camponotus novotnyi sp. n., eine neue tertiäre Ameise aus Böhmen.