Deletion of databases

Select the database or databases you want to delete, by clicking on the associated buttons.

$b{ | }
$a
- there is no database at present

Then push this button: