These are ant-safe dyes for plaster (e.g. hydrostone, ultracal). We use oxide dyes, which are particularly strong. A pinch of red iron plaster dye, in particular, can dye a seemingly infinite amount of plaster. (It should be added and mixed in before the plaster is poured)
This dye is made from a red iron oxide originating from Germany.