Syntactic Cut-Elimination for Common Knowledge - BFH