var terminbox_termine = "termine";