Even during the lunch break the doors were open and no craftsman was there. Anyone could have helped themselves to the tools.
Sorry - but I had to suppress a smile while reading. Craftsmen are what the name says: craftsmen. Not bouncers or security; they do their job and only watch their tools; for example, a Hilti (most have to sign extra liability forms here). We are currently renovating... with craftsmen I know very well; I entrust them with my home (that is, the way to it). Still, I would never in my life store my tools away early; they should do their job Rheinische Grüße