Wie viele Ärzte bei der Bundeswehr?