extflag = "germark";