tjensteman i dåvarande krigskolle gium,