kejsar Frans Josef , de » 4 aug.