jeder uhrmacher hat tasächlich verschiedene hämmer, sind halt
nicht die aus dem baumarkt...