Verifikationsbeispiel 1025 | Ständige und veränderliche Last