Doppelte Anrechnung von Zeiten einer besonderen Auslandsverwendung bei Berufssoldaten als ruhegehaltfähige Dienstzeit