You could just as easily just applied for passports. I was stationed four years in Berlin at the US Mission (USBER).
Well that was how I was instructed to get the passports, don’t know what years you were there, I was there 80-84 Field Station Berlin