Interesting as to whether they should count the earlier results, which were of course against West Germany. Cannot ever remember playing them in truth, but do East Germany's results just get deleted from those records, or do the records only count results against a United Germany? Likewise, USSR, Yugoslavia, the old Check side, etc etc.