Verifikationsbeispiel 1025 | Ständige und veränderliche Lasten