this will not be picked up by gettext.... is there an other solution?