Schlackenhammer, Schlackehammer, Schweißer-Pickhammer