Es ist Zeit, zum ATH zurückzukehren
$PROVE #Succincnt @Succinct