Miroslav Mandl has not yet been mentioned.