Benninschein sold them simultaneously to East and West; then he died, luckily for him."