Wird die Bundeswehr im öffentlichen Dienst angerechnet?