kr. , teaterfunktionärer 4,000 kr.