Es ist Zeit, zum ATH zurückzukehren

$PROVE #Succincnt @Succinct