printf ausgabe fuer Argument formatiert