Turns out: with just a bit of determination, you can totally insert a USB-C plug in a USB-A socket.
You'll even get a corrupted BIOS and a fried graphics card for free.
The virtual pinball table at @bytespeicher will not be operational during #39c3 #congresseverywhere :-(