How long until “Springtime for Hitler” is presented at the Kennedy Center?