Checking the logs for other accounts connecting from the exact same IP address, I see this many logins from each of these userids:

     15 1152
      5 173102
      5 211040
      1 225064
     19 252069
      5 257954
      2 259184
      7 260705

1152 is AKCoinDigger. He connected on his 1152 account using the same IP address as dmf at these times UTC:

...

Sorting AK's and dmf's connections together, we see these connection times:

2014-06-24 12:28:04 AK
2014-06-24 14:43:22 AK

2014-06-24 14:46:23 dmf
2014-06-24 15:04:07 dmf
2014-06-24 15:13:13 dmf
2014-06-24 16:01:32 dmf

2014-06-24 16:16:43 AK
2014-06-24 16:17:45 AK
2014-06-24 18:33:31 AK
2014-06-24 20:32:58 AK

They were both active on the same IP address within minutes of each other.