https://www.php-resource.de/de/script/PHP-Scripte/Script-Erweiterungen/The-phppgadmin-Project_15700