Der Isomorphiesatz für endliche boolesche Verbände.