Para efeitos penais, o que se entende por "funcionário público estrangeiro"?