re: #369 wrenchwench

Is this the same German twitter guy as before? Or are bad German puns a thing now?