Israel til Amsterdam , E. Herdelin til Porta