Nog hoppades dessa tjenstemän ,att