I have used permanent markers from EDDING, i think that's what they're called.
Nowadays they come in all colours and sizes, instead of the regular black, red, blue end green.
It's not the same quality as the old playmobil markers, they tend to stay sticky a bit (even after weeks of drying) but the colours are very bright and draw the same like the old ones.