$> mysql -h server.host.de -u xxxxxxx -pxxxxxxx database < dump.sql
or better:
$> gunzip < backup-20120514151839.sql.gz | mysql -u xxxxx -pxxxxx database
$> mysql -h server.host.de -u xxxxxxx -pxxxxxxx database < dump.sql
or better:
$> gunzip < backup-20120514151839.sql.gz | mysql -u xxxxx -pxxxxx database