Thanks, I could delete it with deletegroup.php.

I couldn't find a way to delete the group via the web though (at least none as site admin, there was no owner anymore!). In any case, the group admin shouldn't be allowed to leave, unless another one has already stepped in.