"nonleakage probability" Deutsche bedeutung