Mit dieser Funktion kann die Bezeichnung einer BKZ angezeigt werden. Als Einstellung kann entweder eine BKZ-Zahl (1300) oder die aktuelle BKZ (die in der Zeile ausgegeben wird) angegeben werden.
