"statical proof, structural analysis" Deutsche bedeutung