Bernd 02/12/2018 (Mon) 16:39:04 No.13640 del
>>13633
Oh wait. Yes, tool can be either, but device might just be eszköz.