En grufarbetare vid namn Anton Johansson,