| oder SD Memory Card Formatter |  |
(mit dem HP Tool klappt das wohl auch.)
Ansonsten geht definitiv "SD Memory Card Formatter"
[https://www.sdcard.org/downloads/formatter_4/]
Du musst einmal auf Options klicken und im Fenster dort dann bei "Format Size Adjustment" ON einstellen (zumindest ist das bei meiner 4.0 Version, wenn ich Pi SD Karten wieder brauchbar machen will).