adding "rijksdriehoek" option