gulden , 12,000 österrikiska floriner och 5,000 kr.