Some observations on the metabolism of bacteria oxidizing molecular hydrogen