how many military persons have attended leipzig university?
(COUNT (AND military.military_person (JOIN (R education.education.student) (JOIN education.education.institution m.01y06y))))