Looks like they're up to almost 15k BTC now($860M). A couple thousand coins came in over the last few hours

https://platform.arkhamintelligence.com/explorer/entity/germany